Replace prebuilt kernel