x86: irq_64.c fix style problems