2nd commit:  Overclocking to 1200MHz as forgot to change it in encore_cm10.2_defconfig file