[coreboot] setting smbios values from the OS