Use prebuilt kernel

Change-Id: Id984b2a255ef7b0954cddbc15106ca0716b40499