Rename mahdi_i9500_defconfig to cyanogenmod_i9500_defconfig