RE: [LinuxBIOS] APIC IDs for Tyan s2735