Re: [fedora-arm] Custom kernel