Fix kernel path

Change-Id: Icf79508e2456c4ba690fd9be576db55e4d1f5179