fix kernel path

Change-Id: I3979e4884bb2807f4d4df099af3128111f0ad9ec