diff --git a/Jenkinsfile b/Jenkinsfile
index 38644503fa..a5b8b937b3 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -8,4 +8,4 @@
  */
 
 dependenciesRevision='b74884742b0b6a1333713313c53a45b62312869c-2046'
-kernelVersion='dev-4638'
+kernelVersion='dev-4653'