Delete cyanogenmod_tenderloin_defconfig~