add prebuilt kernel