[LinuxBIOS] Geode GX1 system IRQ handling