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
$