Do I need a separate kernel to get MikShift G Executive to overclock? I just loaded up the MikShift G ROM and tried to OC with SetCPU and the clock speeds only go up 806MHz (stock). Does this mean I need another kernel? If so, which one should I get?