Point at the new kernel directory.

Change-Id: I01a73614a804bad6881b060d83a3194ec1b44392
2 files changed