[PATCH 0/6 v3] EFI variable support via OP-TEE