Makes a given manual seed generate the same images across different
platforms, independently of the GPU architecture in use.

Fixes #9613.