[SeaBIOS] Re: Int 10h and custom character set