Re: [LinuxBIOS] [discuss] Re: x86_64: apic id lift patch