Update kernel-kit for recent kernels