x86: use per_cpu data in nmi_32