For now, the spinlock logging code is always configured, remove last parts
of HAVE_DIAGNOSTIC version.

Add in new file, support/mutex.c.