bump kernel revision
bump kernel revision and switch to Isabelle2014