diff --git a/Jenkinsfile b/Jenkinsfile
index 66c3d15fd6..68100dbf0d 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -8,4 +8,4 @@
  */
 
 dependenciesRevision='c3718206c59b324b868b5b8eccd9881ba0b72018-2027'
-kernelVersion='dev-4440'
\ No newline at end of file
+kernelVersion='dev-4485'