enable 1.2GHz OC

* keep same voltage settings as 1GHz
* properly update APLL values
* set max freq to 1GHz on bootup, up to the user to OC

Change-Id: I643cb1b54dd684b9dbe6066fbdef1a86b9123d79
fix compilation with gcc 4.6