[PATCH v2 2/4] efi_loader: use hardware device tree by default