[PATCH] x86: cpu_khz type fix