set default max-frequency to 1200MHz (cpu_user_cap)

Change-Id: I7eca2ffdd65086ec1c37ecaadc1258429faa1380