新しく出ているCM10.1(CyanogenMod 10.1 Jellybean 4.2.1)を入れてちょっとハマったので覚書ついでに。

CM10.1で設定を開くと、開発者向けオプション(Developer Options)、 パフォーマンス(Performance setting)が無いROMがある。
隠されているだけなので、次の方法で表示を出すことが出来る。

設定→端末情報 を開き　ビルド番号を連打する

するとデベロッパーです等と表示が出て、オプションが表示されるようになる。
他にもAndroidバージョンやCyanogenModバージョンも連打するとちょっとした隠し表示が出る。
出たあとにさらに連打やスライドを続けると……

1DevOpt