[SeaBIOS] Fwd: seabios bug