Add an option for a prebuilt kernel