Try Lean kernel again