Back to kernel build instead of prebuild kernel (for now)

Change-Id: I1d9810b5ec550e589a14eb093992129563d6def0