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.