x86: irqinit_64.c init_ISA_irqs should be static