Re: [LinuxBIOS] LinuxBIOS support for Kontron ETX board