[SeaBIOS] Jenkins build is back to normal : seabios #146

[Jenkins Build Host]

See http://jenkins.xeni.kraxel.org:8080/job/seabios/146/