[LinuxBIOS] Question about a specific board