add jf kernel to manifest