kernel: Adjust the kernel source tree path to match

Change-Id: I8bcb89bcc62e2519ecf28948a89df5b5d08e9d18
2 files changed