[SeaBIOS] Seabios issue