Rename xen32 to ia32xen.