C8812: build kernel from source if exist

Change-Id: If26ae5aee98cdea43a77b2f639a28825908e2976