the kernel needs to accept uint32_t IRQ numbers, like exec, so that we can provide...