Make 1.7 GHz the default max frequency

Change-Id: I5ae52ca7b9e6616e8b49fc1e255b3740e47d784f