rpms/kernel/devel TODO,1.39,1.40