Merge "lib/Kconfig: Do not select WW_MUTEX_SLOWPATH with PROVE_LOCKING"

	select DEBUG_MUTEXES

	select DEBUG_RT_MUTEXES if RT_MUTEXES

	select DEBUG_RWSEMS if RWSEM_SPIN_ON_OWNER

	select DEBUG_WW_MUTEX_SLOWPATH

	select DEBUG_LOCK_ALLOC

	select TRACE_IRQFLAGS

	default n