diff --git a/Makefile.inc b/Makefile.inc
index d066f25c5eb..2bc0b398eef 100644
--- a/Makefile.inc
+++ b/Makefile.inc
@@ -3,9 +3,13 @@ ARCH?=x86
 
 export ARCH VPFILE QEMU_EXTRA_FLAGS
 
+ifdef BSP_VARIANT
+VARIANT_STR=_$(BSP_VARIANT)
+endif
+
 ifdef BSP
 ifdef KERNEL_TYPE
-KBUILD_DEFCONFIG=$(KERNEL_TYPE)_$(BSP)_defconfig
+KBUILD_DEFCONFIG=$(KERNEL_TYPE)_$(BSP)$(VARIANT_STR)_defconfig
 export KBUILD_DEFCONFIG
 endif
 endif