Build kernel inline

Change-Id: Ia01ea99cd9210795595ab023bb9b8fa67bb1bda8