Using prebuilt kernel

Change-Id: I546e77502edbdf0a4826d1f94ccab1adea3bc4df