SECURITY UPDATE: Under certain circumstances the status flag of
the RDRAND and RDSEED intrinsics before it can be read, potentially
causing failures of these instructions to go unreported. This could
potentially lead to less randomness in random number generation.
debian/patches/0010-cve-2017-11671.diff: moves expansion out of
the link.