We have a proper clocksource in the kernel, use this instead. This commit also fixes jackd on ARM boards with newer Linux kernels where /proc/cpuinfo has changed.