Remove temporary workaround, since TK4 depends on 7.3

Change-Id: Iad665b6bcdae860d1ca94f852e9144b302439ee1