Update kernel, improved CI