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