Get rid of prebuilt kernel

Change-Id: I9dd1d32b01b4e2416a7c861083208e29650d4f6e