Turbo clock frequency is supported and hence needs to be included in the dt config. Change-Id: Ie0e54616b1cdbdaa56e22b06d86896d9b0f78801