x86, irq, devicetree: Use common irqdomain map interface to program IOAPIC pins