MPC8641 based custom board Kernel stuck at 1000Mhz core clock