Re: [PATCH] efi_loader: Ignore DT when ACPI is on