prebuilt kernel setting