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 $ -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org