I will investigate the said bug, in fact I know how to solve it, the font unfortunately cannot be changed unless somebody writes a c function that prints nice fonts on the linux framebuffer.