[PATCH v3 3/3] efi: Add tee-based EFI variable driver