[PATCH] x86_64: Fix formatting in time.c