[PATCH] i386: Remove unneeded externs in nmi.c