disable prebuilt kernel

Change-Id: I4f3d27f783f960c24c17281d6d651731ed6471a5