fixed kernel package name bug