[fedora-arm] Re: gpioset on rpi4 running F35 kernel 5.15.15-200.fc35.aarch64