>>107081518
>The 64-bit form of RDSEED is not affected
That is what they say. Now, do you really believe that?