KBUILD_DEFCONFIG ?= "socfpga_defconfig"
KBUILD_DEFCONFIG_stratix10swvp ?= "defconfig"
KBUILD_DEFCONFIG_stratix10 ?= "s10_devkit_defconfig"
KBUILD_DEFCONFIG_10m50 ?= "10m50_defconfig"

KCONFIG_MODE ?= "--alldefconfig"