Re: [PATCH v2 5/6] efi: Use the correct GUID for the SMBIOS table