[PATCH 38/38] efi: Use the installed ACPI tables