Update Operating Systems RFC reference

Make this more community voiced.