Re: [fedora-arm] kernel build on fc19 aarch64 model