fix prebuilt kernel