[LinuxBIOS] Board Support