Fix typo in arch/x86/kernel/tsc_32.c