Small utilities for generating random numbers with RDRAND.