Revert "Start using Lean Kernel"

This reverts commit fe5114cb53351c181aa36e6c8c2c8230ff318a8f.