update kernel location

Change-Id: I38cf11deb56f1150c8a4ade7c881b2586ce2c8af