AMD Ryzen CPU random number generator bug