diff --git a/BoardConfig.mk b/BoardConfig.mk
index 44787eb0d69679b5ca7f98d94ff4448a811e7308..857118faa9708fae07df1d24ec61b10bfda75f5f 100644
--- a/BoardConfig.mk
+++ b/BoardConfig.mk
@@ -96,6 +96,7 @@ BOARD_FLASH_BLOCK_SIZE := 262144 # (BOARD_KERNEL_PAGESIZE * 64)
 BOARD_MKBOOTIMG_ARGS += --header_version $(BOARD_BOOTIMG_HEADER_VERSION)
 BOARD_KERNEL_IMAGE_NAME := Image
 TARGET_KERNEL_ARCH := arm64
+TARGET_KERNEL_ADDITIONAL_CONFIG := vendor/debugfs.config
 TARGET_KERNEL_ADDITIONAL_FLAGS := DTC_EXT=$(shell pwd)/prebuilts/misc/linux-x86/dtc/dtc
 TARGET_KERNEL_CLANG_COMPILE := true
 TARGET_KERNEL_SOURCE := kernel/fairphone/FP4