Re: x86, nmi: IOCK error