Re: [PATCH] efi_loader: Extra checks while opening an OPTEE session