use prebuilt kernel

Change-Id: Iab34d85d816342c40be71b579043683c6b3ed401