[PATCH] kernel/time.c: add missing symbol exports