Upgrade from 32-bit to 64-bit Fedora Linux without a system reinstall