cleaned up the kernel launching