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

Change-Id: I08a3945b54d5afc62d4fef4958db97bce59e6929