e5bf0d
- Update config files. * Disable DEBUG_MUTEXES except in debug kernels * Enable SOFTLOCKUP detection everywhere * Other fixes