Re: [fedora-arm] changing kernel w/ uboot