[fedora-arm] What repos should be used for RPI3 B+?