KBUILD_DEFCONFIG ?= "socfpga_defconfig"
KBUILD_DEFCONFIG_stratix10swvp ?= "defconfig"

KCONFIG_MODE ?= "--alldefconfig"