[LinuxBIOS] strange build error