Sorry. IRQ is work. I write simple test and check it.
I can't handle GPIO IRQ. I check my previous driver for Gumstix Overo. It doesn't work too in current snapshot Genode from git. I revert my fork to state before merging your master and this driver is working.
--
Ivan Loskutov