Fedora 8 on PS3: ppc or ppc64?