fix prebuilt kernel.