Changed name of kernel repo