fix kernel jf repo name