https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100444
--- Comment #12 from Edward Cree <ecree429 at virginmedia dot com> --- A datum: booting with 'nordrand' on the kernel command line does not affect this, the test program still prints 4294967295. (Yet '/proc/cpuinfo' no longer mentions rdrand or rdseed in flags. Stdlib must be looking at cpuid directly rather than using anything the kernel can mediate?)
