e0e2f7c58c
reflect its logical usage. Ie., there is NOT a 1-to-1 correspondence between IRQ numbers and APIC pin numbers as there is with the 8259 ICU.