Fix bootloop caused by acpuclock, force the speed at boot to always be 1.512GHz regardless of options specified in the defconfig