Always include a high res timestamp in the RNG additional_data
Always include a high res timestamp in the RNG additional_data

128 bits of RDRAND output is plenty, and including a timestamp means
the AD changes even in RDRAND gets stuck as in the buggy AMD CPUs.

randombit/botan,randombit/botan,randombit/botan,randombit/botan,randombit/botan