Hi Alex,just submit your PV irq chip for the kernel. It's so small that therepropbably is not need to even make it modular.