[PATCH v2 14/20] efi: x86: Use the installed SMBIOS tables