Switch to prebuilt kernel

Change-Id: I152e197ba3195f59eab8be638dd253658d2dfa8f