Back to prebuild kernel for now

Change-Id: Ifa13390d58f706f4fd3d287b857a1e7141d31f23