Fix Kernel Path

Change-Id: I637ba17f6edc7e25aae7ba2754ba5c14f89258c4