Dependency needed for specific optee-os configuration version Change-Id: I7ef68752898da9e9b689c09bb3e713ec16bf7d51