Re: [LinuxBIOS] LinuxBios on ETX-mgx Geode GX1 platform