Re: [LinuxBIOS] Local APIC IDs for dual Xeons