Search notes:

arch/$SRCARCH/Makefile

KBUILD_DEFCONFIG

arch/$SRCARCH/Makefile is included from the main Makefile to set and export the variable KBUILD_DEFCONFIG.
scripts/kconfig/Makefile adds the value of KBUILD_DEFCONFIG to KCONFIG_DEFCONFIG_LIST.
KBUILD_DEFCONFIG is used for make defconfig.

See also

Makefile

Index