build kernel inline

Change-Id: I47b79ff08998c6a1c19ca5840c517f9bf362a7c5