Re: [LinuxBIOS] Geode GX1/5530: How to forward SMI to a regular IRQ