back to prebuilt kernel, for now