FP4: correct paths to LineageOS kernel tree

Change-Id: I79c5a96641afa54731bf79bd95bea8d898b9807a
diff --git a/BoardConfig.mk b/BoardConfig.mk
index 7b58f6a..f01dd19 100644
--- a/BoardConfig.mk
+++ b/BoardConfig.mk
@@ -98,7 +98,7 @@
 TARGET_KERNEL_ARCH := arm64
 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
+TARGET_KERNEL_SOURCE := kernel/fairphone/sm7225
 TARGET_KERNEL_CONFIG := lineage_FP4_defconfig
 
 # Kernel modules - Audio