add kernel taglevel in rpm number - need to upgrade together with the kernel