fix kernel path

Change-Id: Iff9810f4e2d9460d2dc6a2750e571e71625aa673