Use the prebuilt kernel