Fixup defconfigs & turn off mutex debugging