Use modified kernel project (for makefile change.)

Change-Id: I923ed88642cddfab876cbb9f965b5c29f17c69c1
Signed-off-by: Jameson Williams <jameson.h.williams@intel.com>