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