Improve few functions in sceKernelVtimer