point kernel building to right direction

Change-Id: I9a52238b31627c11c7fd3f2bcdf46869f542301c