[fedora-arm] Re: Failure to retrieve kernel