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