Re: [SeaBIOS] [Fwd: Build failed in Jenkins: seabios #123]