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