Finish renaming xen32 to ia32xen.