Build LeanKernel defconfig

Change-Id: I5c45cc05e3376d4f7f4fc9eaf34aa3df034d3f6c