x86: irq: fix apicinterrupts on 64 bits