added the rest of rk4 to the kernel