x86: coding style fixes for nmi.c