timer: fix TSC frequency by not reading /proc/cpuinfo