mtx_init() with MTX_QUIET and MTX_NOWITNESS to avoid bogus warnings
Replace the manual mutex pool in kern_lock.c (lockmgr locks) with the new API. Replace the mutexes embedded in sxlocks with the new API.