x86: fix nmi.c build bug