Comment # 3 on bug 915963 from Charles Arnold

(In reply to Per Jessen from comment #2)
> (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. 

>From the installation source grab the kernel-xen RPM.  You can then
extract boot/vmlinuz-xen from the RPM.  Use a command like,
'rpm2cpio kernel-xen-3.16.6-2.1.x86_64.rpm | cpio -ivd'

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

Yes, you should be able to upgrade a 13.1 VM to 13.2.