x86: Compile irq.c for 64-bit