Fix kernel path

Change-Id: I9c43c3eb1d150dc6b0ec654b0443a4d3026b17f9