fix 1134 MHz max frequency issue
changed some things to be closer to iHates kernel which seems to have fixed the problem.