Seit dem Nightly von gestern kann man in Cyanogenmod innerhalb der Einstellungen eine Suchfunktion nutzen; diese findet auch Einträge in Untermenüs. Sehr schön, denn da kann man sich teilweise wirklich blöde suchen :)

cyanogenmod_11_nightly_search_in_settings