Revert "try lean"

This reverts commit e337470b052026a944dec54ceb10d24c39428cf9.
Revert "Revert "try lean""

This reverts commit 3595d4e65c0bce55dc1cefc15398977c9c2df52e.
Revert "linaro"

This reverts commit 4a6f0ef8c746992aef382c716a1d90757956573d.