Comment 20 for bug 1869235

Further verification now that my replacement motherboard arrived:
$ dmesg | grep EDAC
[ 0.800614] EDAC MC: Ver: 3.0.0
[ 18.710159] EDAC amd64: Node 0: DRAM ECC enabled.
[ 18.710160] EDAC amd64: F17h_M70h detected (node 0).
[ 18.710194] EDAC MC: UMC0 chip selects:
[ 18.710195] EDAC amd64: MC: 0: 0MB 1: 0MB
[ 18.710195] EDAC amd64: MC: 2: 16384MB 3: 16384MB
[ 18.710198] EDAC MC: UMC1 chip selects:
[ 18.710198] EDAC amd64: MC: 0: 0MB 1: 0MB
[ 18.710199] EDAC amd64: MC: 2: 16384MB 3: 16384MB
[ 18.710199] EDAC amd64: using x16 syndromes.
[ 18.710200] EDAC amd64: MCT channel count: 2
[ 18.710273] EDAC MC0: Giving out device to module amd64_edac controller F17h_M70h: DEV 0000:00:18.3 (INTERRUPT)
[ 18.710296] EDAC PCI0: Giving out device to module amd64_edac controller EDAC PCI controller: DEV 0000:00:18.0 (POLLED)
[ 18.710296] AMD64 EDAC driver v3.5.0
$ uname -a
Linux smaug 5.3.0-48-generic #41-Ubuntu SMP Fri Apr 10 06:59:18 UTC 2020 x86_64 x86_64 x86_64 GNU/Linux
$ sudo edac-util
edac-util: No errors to report.