delayed_put_task_struct() used by put_task_struct_rcu_user() never gets called