Yup, delete `sched_task_exit()` and include `kernel_internal.h`.