irq_dispatch: Disclose that using IRQ_DISPATCH() defines all possible handlers.

Even if some or most framework-level handlers are not defined, hardware-level
dispatching code is set up.
ticks.hpp: Refactor to use generic IRQ dispatching framework.

Away from timer-specific IRQ dispatching.