Linux IRQ Modules on Raspberry Pi 4B