Temp use prebuilt kernel

Change-Id: I530dd2cfd98ea5fe538d7c32a5841c55657f7333
Merge "Temp use prebuilt kernel" into jellybean