added prebuilt stock kernel