On Wed, 2013-12-04 at 10:46 +0800, Dave Young wrote: > Hi, Toshi > > > Oh, I think I now understand what the issue was. The z420 firmware > > updates the SMBIOS table address in the EFI system table to a virtual > > address after calling EFI SetVirtualAddressMap. So, you are passing the > > original physical address of the SMBIOS table from the 1st kernel to the > > 2nd kernel to put it back to physical. Is that right? > > Right. Hi Dave, The z420 firmware is based on some UEFI core that may be used by other vendors as well. Since this handling is totally harmless (just redundant), I'd suggest not to have a platform check on this handling. Thanks, -Toshi