[LinuxBIOS] Local APIC IDs for dual Xeons