[PATCH v3 14/19] efi: x86: Use the installed SMBIOS tables