Reset RNG state after device reset.

A device reset destroys the state of the RNG, so we have to re-initialize
it after each reset.