That's not a bug in the Linux kernel, it's a bug in the AMD hardware.
You can generally spot this immediately, even without reading the code, by the way it's described as a "workaround".
You can generally spot this immediately, even without reading the code, by the way it's described as a "workaround".