x86: Fix the NMI nesting comments