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