diff --git a/device-tegu.mk b/device-tegu.mk
index 73d5e00..5843d17 100644
--- a/device-tegu.mk
+++ b/device-tegu.mk
@@ -25,9 +25,9 @@ RELEASE_GOOGLE_PRODUCT_BOOTLOADER_DIR := bootloader/$(RELEASE_GOOGLE_BOOTLOADER_
 $(call soong_config_set,tegu_bootloader,prebuilt_dir,$(RELEASE_GOOGLE_BOOTLOADER_TEGU_DIR))
 
 
-ifdef RELEASE_GOOGLE_TEGU_KERNEL_DIR
-TARGET_KERNEL_DIR ?= $(RELEASE_GOOGLE_TEGU_KERNEL_DIR)
-TARGET_BOARD_KERNEL_HEADERS ?= $(RELEASE_GOOGLE_TEGU_KERNEL_DIR)/kernel-headers
+ifdef RELEASE_KERNEL_TEGU_DIR
+TARGET_KERNEL_DIR ?= $(RELEASE_KERNEL_TEGU_DIR)
+TARGET_BOARD_KERNEL_HEADERS ?= $(RELEASE_KERNEL_TEGU_DIR)/kernel-headers
 else
 TARGET_KERNEL_DIR ?= device/google/tegu-kernels/6.1/25D4
 TARGET_BOARD_KERNEL_HEADERS ?= device/google/tegu-kernels/6.1/25D4/kernel-headers