correct path for kernel

Change-Id: I8e4c420686a72ad50497b02c3dbd7948a6b2be50