prebuilt kernel

Change-Id: I06c37f1964fb5afabb94eb1c5541d553f84e8a9a