Various K7 have broken bank 0s. Don't enable it by default
Port from the 32bit code.
Signed-off-by: Andi Kleen <ak@linux.intel.com>
Signed-off-by: H. Peter Anvin <hpa@zytor.com>
Signed-off-by: Hidetoshi Seto <seto.hidetoshi@jp.fujitsu.com>
Signed-off-by: H. Peter Anvin <hpa@zytor.com>
                         */
                        mce_bootlog = 0;
                }
+               /*
+                * Various K7s with broken bank 0 around. Always disable
+                * by default.
+                */
+                if (c->x86 == 6)
+                       bank[0] = 0;
        }
 
        if (c->x86_vendor == X86_VENDOR_INTEL) {