major refactorings in timer and IRQ modules
systemtimer seems now to work
need to enable and configure interrupts for irqtimer and systimers