defconfig: disable DEBUG_MUTEXES