Re: [fedora-arm] highbank kernel update