Explicitly cast usages of `irq_t` types
Explicitly cast usages of `irq_t` types

On some platforms `irq_t` is not defined as an `int` resulting in the `userError`
messages failing to type check. This adds an explicit cast

cmr/seL4,cmr/seL4,cmr/seL4