As I understand it F11 will install by default the x86_64 kernel on a 64 bit machine even if the rest of the install in 386/586. So should we grab the 64 kernel from the 64 repo and install it now? Is the 64 kernel going to be in the 386 repo? sean