[PATCH v5 06/12] efi: Use the correct GUID for the SMBIOS table