[fedora-arm] Re: Fedora kernel no longer boots on pine64