Jenkins: build the kernel last