[PATCH] x86-64: Some cleanup in time.c