x86-64 MP kernels always used HPET timing when available. This was done
because AMD systems don't have synchronized TSCs in all cases. On Intel
this is not true (except Summit), so use faster TSC timing for those.
Also only enable HPET gettimeofday when there is more than one CPU online.