Back to prebuild kernel for now

Change-Id: I7c8ff0b5c55a33a6409f5bf905545e0e2cead688