Fix prebuilt kernel