I think it's unnecessary here since __KernelTriggerVTimer does the same thing so each triggered vtimer ID will be duplicated. In JPCSP map of sceKernelVTimerInfo it's used in a similar way as our kernelObjects.