unsigned long ctl_gfx_mono(unsigned long u);
ctl_gfx_mono converts a single-bit monochrome pixel (zero is black, non-zero is white) to a 24-bit RGB device-independent pixel.