kernel: build kernel inline

Change-Id: I9fdb616664cfee132aad625b74b5cf029bdb042a