Re: [fedora-arm] Kernels for common arm devices