[LinuxBIOS] Board recommendations?