kernel/scheduler: Use deduction guides on mutex locks

Since C++17, we no longer need to explicitly specify the type of the
mutex within the lock_guard. The type system can now deduce these with
deduction guides.