Since CyanogenMod has the "trebuchet" preferences shortcut in Settings, we can remove it from the main menu. This is a config to show that we are running cm. Change-Id: I3e749a5774b6ec87734913544d5c24fbb2cc65de