Comment # 12 on bug 1192288 from Borislav Petkov

(In reply to Olav Reinert from comment #11)
> That clearly looks better, but there's no message that ECC is enabled, so
> I'm not sure it works quite right.

No, that's ok. We downgraded those messages recently to KERN_DEBUG. If
you boot with "debug" on the kernel command line, you'll see them.

> [    6.854189] EDAC amd64: F19h_M20h detected (node 0).

And I think I know which one is still missing:

b4210eab9164 ("EDAC/amd64: Set proper family type for Family 19h Models
20h-2Fh")

which adds support for those 0x20 models.

Would you like to try a test kernel like the last time?

Thx.