A note for those looking at this report: I think the issue of this bug should be persued. I wonder whether while doing that, one should not clarify the difference, if at all, between the quote from Documentation/kbuild/kconfig.txt that is shown at the beginning of Message #5 and the output of make listnewconfig. $ make CC=ccache\ gcc help | grep listnewconfig listnewconfig - List new options $