Re: [U-Boot] [PATCH v3 1/1] efi_loader: PSCI reset and shutdown