Use stop_machine_run in the Intel RNG driver