libc: Comment out documentation of svc_control() which we don't have.