Re: [fedora-arm] How to use new kernel on BBB