updated v13's rdrand function call