Comment # 2 on bug 915963 from Per Jessen

(In reply to Charles Arnold from comment #1)
> The 13.2 32bit media shipped without these files and they will not
> remaster the media once it has shipped.
> 
> As a work around you may be able to create a network install source and
> place the Xen kernel/initrd in the boot/i386 directory (vmlinuz-xen and
> initrd-xen).  You will likely have to generate the initrd-xen.

Can you point me to where to get hold of vmlinuz-xen/initrd-xen - rebuilding
the initrd shouldn't be a big deal. 

Just to double check - I was thinking of installing 13.1, then dup'ing to 13.2,
is this likely to work or not?