x86: coding style fixes to arch/x86/mach-generic/bigsmp.c