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