support to use prebuilt kernel

Change-Id: If68e9375fc751678ad72a134ab3a344fde757363