Jenkins: Don't rebuild kernel with userspace