Rest_init() is located in init/main.c.
Rest_init() frees the memory used by initialization functions, then launches init() as a kernel thread to finish the kernel's boot process.