[Fedora-xen] 64bit vs. 32bit