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