tenderloin: support overclock to 1.8Ghz

Change-Id: Ib30d685e1f72aee16001c7538e30a586c9fd793a