back to prebuilt kernel

Change-Id: Ib0eb42dd1128aff7106dbcd6873637da1a70c23b