put_idle_core() called without the proc_lock