Go back to using prebuilt kernel

Change-Id: I0314fc87006a26b70bde6bcd8de0201134333403