Hi
Perhaps this is a bad hack but I got what I needed by changing the _ipu_init_dc_mappings function in ipu_disp.c (lines867+) in the following manner. (the old values are in comments).
_ipu_dc_map_config(ipu, 3, 0, 12, 0xF8);//_ipu_dc_map_config(ipu, 3, 0, 4, 0xF8);
_ipu_dc_map_config(ipu, 3, 1, 18, 0xFC);//_ipu_dc_map_config(ipu, 3, 1, 10, 0xFC);
_ipu_dc_map_config(ipu, 3, 2, 23, 0xF8);//_ipu_dc_map_config(ipu, 3, 2, 15, 0xF8);