Working benchmark

 # echo 1 > /sys/kernel/debug/timefunc
 # cat /sys/kernel/debug/timefunc
 <number of ns>

Signed-off-by: Joel Stanley <joel@jms.id.au>