Xen: use a seed given at compile time