Only use rdrand32 when present