Building a kernel with a patch