using prebuilt kernel

Change-Id: I974a14600b58b4fe44ff01bb35e0727e0fcda651