[LinuxBIOS] Board support