trivial: Fix types when printing

The type of irq_t differs per platform, this commit just forces
a conversion to an int, which should be sufficient for a debug
message