Revert "Revert "Try Lean kernel again""

This reverts commit 5f02098b0c869d14437013a48fdc96c82e6d62e8.