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