I'm also running the 900 Mhz Kernel and Conky displays "900Mhz" (and I can feel the difference), but scaling_max_freq gives me "600000"... There is something wrong ?