Add correct path for kernel

Change-Id: I6a079daecba37a05359455fbbffbe2e20ebb6247