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