[PATCH] Use HP_TIMING for benchmarks if available

[David Miller]

From: Siddhesh Poyarekar <siddhesh@redhat.com>
Date: Mon, 15 Apr 2013 13:49:36 +0530

> Jitter due to high system load is unavoidable even with
> clock_gettime since (as Rich Felker pointed out in an earlier
> discussion) competition for cache will still affect the performance
> numbers.

And also competition for the core pipeline itself with the other
sibling(s) on the core.