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