vgacon_do_font_op
rc = vgacon_do_font_op(&vgastate, font->data, 1, charcount == 512);
return vgacon_do_font_op(&vgastate, font->data, 0, vga_512_chars);