[PATCH v5 44/46] efi: Use the installed ACPI tables