[LinuxBIOS] LinuxBios on ETX-mgx Geode GX1 platform