[LinuxBIOS] MSI supported boards