[fedora-arm] 3.13 kernel rebase

[Peter Robinson]

Hi Josh,

> I'll be starting the 3.13 rebase on Monday in rawhide.  As previously
> discussed, we'll keep rawhide-nodebug on 3.12 in the stabilization
> branch and use that as the base for rolling 3.12 back to F20 and older
> releases.
>
> If you have questions/comments please let me know.

Works for me, I'm happy to handle the ARM config changes if you just
want to comment them out with FIXME as usual I'll deal with them as I
see them land.

Peter