Add kernel 3.13 for fedora 20 branch
Merge remote-tracking branch 'origin/ubuntu-12.04' into ubuntu-13.04
Merge remote-tracking branch 'origin/ubuntu-13.04' into ubuntu-13.10
Merge remote-tracking branch 'origin/ubuntu-13.10' into fedora-20
Merge remote-tracking branch 'origin/fedora-20'