From 29e2ee4568f08a6df80881c8933ae91acf5df604 Mon Sep 17 00:00:00 2001
From: Koushik Dutta <koushd@gmail.com>
Date: Wed, 25 Aug 2010 17:12:33 -0700
Subject: [PATCH] Fix up the bravo product to not set the kernel for EVERY
 product.

---
 products/cyanogen_bravo.mk | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/products/cyanogen_bravo.mk b/products/cyanogen_bravo.mk
index 4fa86591..4ebaf113 100644
--- a/products/cyanogen_bravo.mk
+++ b/products/cyanogen_bravo.mk
@@ -24,7 +24,7 @@ PRODUCT_PACKAGES += Torch
 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 += \