Re: [coreboot] Providing an identifier to a virtualization guest via SMBIOS