x86: nmi: Add Intel processor 0x6f4 to NMI perfctr1 workaround