[SeaBIOS] seabios bug