Revert to CyanogenMod 10.1.0 and add HALO Mod.
Small fix.