Is 64 bit Fedora OK? With which CPU?