profile 'lean' is now default, and previous default is profile 'fat'

Change-Id: If7757f3f48a1a7f6dc043a1875fa3b5709388be1