On Fri, Nov 22, 2013 at 11:21 AM, Volker Armin Hemmann <volkerar...@googlemail.com> wrote: <SNIP> >> which doesn't give me any option to change it in make menuconfig. > no, that means it is turned on by some other option. > > maybe you should use grep.
Geez...
