How would you like to implement support for this in the NO_SYS==0 case?
Does this even make sense? The sys_check_timeouts() is also not
available for NO_SYS==0, which is obvious. The sys_restart_timeouts() is
an extension to the sys_check_timeouts(). We could also add an argument
to the sys_check_timeouts() function for this case, but I doubt that
this will be more practical.
It makes sense if the system has a low-power/standby mode which is exited by an
interrupt. The OS would wake up, restore to normal executing mode, resume its
threads and do this timer reset before returning from wakeup.