[PATCH 1/1] efi_loader: use hardware device tree by default