Build the kernel for hamachi