<riktw>
Ah ha, I indeed was missing something :) I forgot to set irq_setmask to include the new IRQs. Now it works. Of course, it still means some edits in the isr.c for any new interrupts but I expected that at least.
<riktw>
Being able to add any random gibberish in self.irq.add seems a little odd still?