no need to define a prebuilt kernel