Re: [SeaBIOS] Stable seabios release