[PATCH 4/5] efi: Use the correct GUID for the SMBIOS table