yes in line 97 of vtimer.c
    timer->queue_entry.priority = timer->absolute.microseconds;
so priority should be able to handle an uint32_t as well as microseconds, else an overflow will happen.