efi_loader: need either ACPI table or device tree