copied kernel naming to cyanogenmod_manta_defconfig

Change-Id: Icd59c27efcad14a2a245919f575220f9959a6992