Add CyanogenMod kernel to dependencies

Needed for build deb, since system is trying to compile a prebuilt kernel
and is failing on trying.

Change-Id: I2e235b1e53516a7296da6b6988921a95740b7db8