Fedora C3 specific dual boot question