[SeaBIOS] [PATCH 2/4] vgabios: Add support for writing text to framebuffers in high memory.