[SeaBIOS] Build failed in Jenkins: seabios #221