You don't need a CSPRNG to do SHA512, which their solution already incorporates.
This is the text from the original article.
"For this reason, since PuTTY was developed on Windows before it had any cryptographic random number generator at all, PuTTY has always generated its k using a deterministic method, avoiding the need for random numbers at all."
PuTTY carries its own formats from this time.