Xen: use a seed given at compile time

The seed is generated during `mirage configure` from `/dev/urandom`.