diff --git a/Jenkinsfile b/Jenkinsfile
index f4f6ff7690..e9943e9762 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -8,4 +8,4 @@
  */
 
 dependenciesRevision='a712a9585a8caa40c182a6bf3a04ce67104f99c4-2069'
-kernelVersion='dev-4953'
+kernelVersion='dev-4862'