[fedora-arm] 3.13 kernel rebase