Revert "lean kernel"

This reverts commit f5a9d2f89e0ec9db6ac01656168a39226b2eb836.