cut out prebuilt kernel

Change-Id: I6b3da50e9eb98fde800f296b98aef85df8257059