Change kernel source path

Change-Id: I84f38fe57d3b8c81cc3d8e60f82a856ae2a1c888