Re: [coreboot] setting smbios values from the OS