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.
Merge pull request #83 from dominikgrewe/rng_reset

Reset RNG state after device reset.