Re: [PATCH] efi_loader: Do not enable by default on armv7