x86: time_32.c fix style problems