I installed the P3 1Ghz kernel after using the 800Mhz (P3) Kernel for a while, but CPUinfo in terminal emulator reports a max frequency of 800Mhz, shouldn't 0.2.1 always set it to the highest frequency?