distro-config should not have --with-vendor=TDF

Change-Id: I2809456a49727f7b7abe8521f6e6562ed3fd5c9d