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

[Jenkins Build Host]

See http://jenkins.xeni.kraxel.org:8080/job/seabios/270/display/redirect?page=changes