Re: [LinuxBIOS] [PATCH] x86_64 io_apic: memorize at bootup where the i8259 is