Failed initial attempt at timers

Committing for history, I’ll try something different
Implement most of timers correctly this time

No need for a separate thread this time, except for timer IRQs, which
are coming next, but this won’t add much overhead
Implement a simple scheduler
Small cleanup of ARM CPU logging
More work on timers
More work on timers

Getting close to done with these now…