After boot, I get 16 messages in the log at the same timestamp:
EDAC amd64: Error: F0 not found, device 0x1650 (broken BIOS?)
That's the same number of CPU cores (threads). There are a lot of posts on the internet that say this is a matter of upgrading the kernel, but that hasn't worked for me.