Make kern.timecounter.hardware tunable
(cherry picked from commit 56b9bee63a42dbac712acf540f23a4c3dbd099a9)