P715: modify kernel location

Change-Id: I91024a9aa7040bc54c7127049ac7e16c11e43077