Remove IRQ wrappers and add eChronos to example config options