Re: [fedora-arm] 3.10 ARM kernel configs