Prebuilt kernel for CyanogenMod