Use LeanKernel in ROM build

Change-Id: I3cad723dbd8ed321a6e28693a05461e32fcf6ecb