defconfig: disable DEBUG_MUTEXES

We use RWSEM_XCHGADD_ALGORITHM