Fixed name of Cyanogenmod defconfig