Re: [SeaBIOS] Build failed in Jenkins: seabios #142