[SeaBIOS] Stable seabios release