int ctl_gfx_draw_string(int x, int y, const char *text);
ctl_gfx_draw_string draws the string text at coordinate (x, y) using the active font and text color.
The value returned is the number of pixels taken by the string text.