reposetup: fix typo to actually say Cyanogenmod 10.1