Re: [LinuxBIOS] Board support