HPETs and userspace gettimeofday()

I implemented fast userspace gettimeofday(2) support for machines which
have to use HPET for timecounters.  Details and measurements, as well as
the patch, are put at https://reviews.freebsd.org/D7473 .

I am interested in the testing by people using Core2 and older hardware.

Thanks.