[PATCH] x86_64: Fix up white space in time.c