Well, that would increase the pressure on AMD to correct the problem.
Apparently, AMD has provided a fix to motherboard manufacturers, for them to include in their BIOS updates. IIRC, this would correct the microcode on the Ryzen CPU itself, to make RDRAND produce varying "random" numbers...