I tried to upgrade to f20 by executing : fedup --network 20 as root. But when the execution is over he only kernel I have on the system is the f18 kernel. What have I done wrong?