Getting arbitrary cpu speed from linux system