Specify kernel for Cyanogenmod