Fix timkeeping.c error squashed

Thanks AK