Yeah I can imagine it being very tricky to fix. Why are you specifically mentioning AMD here? Are the microcode updates from Intel enough? I thought they where withdrawed because they caused reboots.Unfortunately, it is. For now, just be careful what you run or run on AMD hardware. There's a lot of rework in the way the kernel handles paging to resolve this issue. It's really tricky code that hasn't been touched it years.