build kernel inline (lean-kernel)

Change-Id: Ife96118ec04e08ff3df5f552ae500b39f5c15702