Use cyanogenmod-defconfig for now