add kernel to proprietaries