[coreboot] [coreboot - Bug #431] (Closed) fix src/arch/x86/smbios issues