Add prebuilt kernel