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