diff --git a/BoardConfig-common.mk b/BoardConfig-common.mk
index a3dcda07..0d67432e 100644
--- a/BoardConfig-common.mk
+++ b/BoardConfig-common.mk
@@ -323,8 +323,6 @@ ENABLE_VENDOR_RIL_SERVICE := true
 BOARD_BLUETOOTH_BDROID_BUILDCFG_INCLUDE_DIR := \
 	build/make/target/board/mainline_arm64/bluetooth
 
-TARGET_BOARD_KERNEL_HEADERS := $(TARGET_KERNEL_DIR)/kernel-headers
-
 #VNDK
 BOARD_PROPERTY_OVERRIDES_SPLIT_ENABLED := true
 BOARD_VNDK_VERSION := current
diff --git a/device.mk b/device.mk
index fee9ac00..b56eea49 100644
--- a/device.mk
+++ b/device.mk
@@ -48,11 +48,7 @@ PRODUCT_SOONG_NAMESPACES += \
 	vendor/google_nos/host/android \
 	vendor/google_nos/test/system-test-harness
 
-ifeq ($(TARGET_PREBUILT_KERNEL),)
 LOCAL_KERNEL := $(TARGET_KERNEL_DIR)/Image.lz4
-else
-LOCAL_KERNEL := $(TARGET_PREBUILT_KERNEL)
-endif
 
 # OEM Unlock reporting
 PRODUCT_DEFAULT_PROPERTY_OVERRIDES += \