[PATCH] Kconfig.debug: Set DEBUG_MUTEX to off by default