A single timer fix:

 - Prevent a memory ordering issue in the timer expiry code which makes it
   possible to observe falsely that the callback has been executed already
   while that's not the case, which violates the guarantee of del_timer_sync().