Use cyanogenmod_defconfig