Re: [LinuxBIOS] Geode GX1 system IRQ handling