x86: coding style fixes to arch/x86/kernel/summit_32.c