Add kernel 3.13 for fedora 20 branch