KBUILD_DEFCONFIG ?= "socfpga_defconfig"