Revert "Try Lean kernel again"

This reverts commit cb8190719a86a4754dbf5f61fee58526e61b79e3.