[fedora-arm] Raspberry Pi 4 support