cfxga_putchar
int cfxga_putchar(void *, int, int, u_int, uint32_t);
ri->ri_ops.putchar = cfxga_putchar;