update package name for reinstalling kernel