From 1e611b194917096ae7462aea391bc252c8c2a53e Mon Sep 17 00:00:00 2001
From: Diogo Ferreira <diogo@underdev.org>
Date: Tue, 6 Jul 2010 19:13:20 +0100
Subject: [PATCH] Use a prebuilt kernel for now

---
 products/cyanogen_bravo.mk | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/products/cyanogen_bravo.mk b/products/cyanogen_bravo.mk
index 671657c7..53458e2a 100644
--- a/products/cyanogen_bravo.mk
+++ b/products/cyanogen_bravo.mk
@@ -21,6 +21,9 @@ PRIVATE_BUILD_DESC="passion-user 2.2 FRF85B 42745 release-keys"
 # Extra Passion overlay
 PRODUCT_PACKAGE_OVERLAYS += vendor/cyanogen/overlay/passion
 
+# Use a precompiled kernel until the merge with cm-kernel
+TARGET_PREBUILT_KERNEL = device/htc/bravo-common/kernel
+
 #
 # Set ro.modversion
 #