[PATCH 2 1/2] scheduler: time: allow arch-specific time offset function