sync kernel names