Re: [SeaBIOS] seabios bug