[console] A few mutex changes