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