spec_time function, which gives a monotonic 1-second interval count, is
better to be used than spec_gen_time, since timers must be working even
if timestamp is compromised by a temporary bad regulation. This solution
must be implemented in arch-gnu-linux too, by using RAW_MONOTONIC timestamps.