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