Re: [fedora-arm] ARM kernel moving forward 3.7+