Fix up the bravo product to not set the kernel for EVERY product.
diff --git a/products/cyanogen_bravo.mk b/products/cyanogen_bravo.mk
index 4fa8659..4ebaf11 100644
--- a/products/cyanogen_bravo.mk
+++ b/products/cyanogen_bravo.mk
@@ -24,7 +24,7 @@
 PRODUCT_PACKAGE_OVERLAYS += vendor/cyanogen/overlay/bravo
 
 # Use a precompiled kernel until the merge with cm-kernel
-TARGET_PREBUILT_KERNEL = device/htc/bravo/kernel/kernel
+PRODUCT_SPECIFIC_DEFINES += TARGET_PREBUILT_KERNEL=device/htc/bravo/kernel/kernel
 
 # Extra RIL settings
 PRODUCT_PROPERTY_OVERRIDES += \