timers-urgent-2021-07-25

 - Plug a race between rearm and process tick in the posix CPU timers code

 - Make the optimization to avoid recalculation of the next timer interrupt
   work correctly when there are no timers pending.