Ringtone selection works for me. They sound awful, but that is not a technical problem...
I put my own ringtone in /sdcard/media/audio/ringtones and I can select it through the normal ringtone settings.
Edit: Maybe reinstalling 7.1 helps - dirty flash, just installing again over the existing...