https://forum.level1techs.com/t/amd-threadripper-3970x-under...
HN discussion: https://news.ycombinator.com/item?id=22382946
Ended up investigating the issue with AMD for several months, was generously compensated by AMD for all the troubles (sending motherboards and CPUs back and forth, a real PITA), but the outcome is that I've been running since then with a custom BIOS image provided by AMD. I think at the end the fault was on Gigabyte's side.