Update kernel.c: update tasks