Comments on rdrand().