ioapic_abi/x86_64: Record the max line based IRQ