Fix IO-APIC/IRQ-Routing Bug (affects GSIs 24, 48, 72, ...)