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