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