[SeaBIOS] int10 handling