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