Re: [fedora-arm] Fedora ARM kernel config remarks / questions