adding in new prebuilt kernel