Rare case of timer callback with scheduler disabled

Kernel
13

@richard-damon Thanks for looking at it so carefully and for your suggestions.

Here is what I finally ended up with. It’s pretty clean, but ultimately just a minor preference and not truly a need.