Completed uthread_mutex_destroy().  Everything seems to be working properly and mutex_test reports all passed.