[fedora-arm] Re: Wiki claims RPi 4 is not supported