vtimer: make vtimer_now() return its result