kernel: add CONFIG_MIPS_CDMM config option