color change to make menuconfig easier to read (patch from #1730)