Use a prebuilt kernel for now
diff --git a/products/cyanogen_bravo.mk b/products/cyanogen_bravo.mk
index 671657c..53458e2 100644
--- a/products/cyanogen_bravo.mk
+++ b/products/cyanogen_bravo.mk
@@ -21,6 +21,9 @@
 # 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
 #