[LinuxBIOS] Question about three mainboard support in LinuxBIOS