We had bare_timeval with both nsec and usec, but this doesn't work.
As a result, our timers were only second-grained and not
millisecond-grained (we got no nsec from clock_gettime).
Signed-off-by: Alessandro Rubini <rubini@gnudd.com>