diff --git a/BoardConfig.mk b/BoardConfig.mk
index eb8a242..67f3ceb 100644
--- a/BoardConfig.mk
+++ b/BoardConfig.mk
@@ -28,9 +28,6 @@ BOARD_KERNEL_TAGS_OFFSET := 0x00000100
 BOARD_RAMDISK_OFFSET     := 0x01000000
 TARGET_KERNEL_CONFIG := cyanogenmod_crackling-64_defconfig
 
-ifneq ($(TARGET_BUILD_VARIANT),user)
-TARGET_KERNEL_ADDITIONAL_CONFIG := cyanogenmod_debug_config
-endif
 WITH_DEXPREOPT_BOOT_IMG_ONLY ?= true
 
 # Bluetooth