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