[PATCH v5 15/20] efi: Use the installed SMBIOS tables