diff --git a/Jenkinsfile b/Jenkinsfile
index f42cc895f8..d95fa6e294 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -8,4 +8,4 @@
  */
 
 dependenciesRevision='85a4f125e23daf05a5e735660780249c69286b7e-2053'
-kernelVersion='dev-4660'
+kernelVersion='dev-4757'