prebuilt: add prebuilt kernel