Re: [SeaBIOS] int10 handling