added prebuilt kernel