GPIO 7 reset pin busy - Raspberry Pi 3

Hi everyone! I’m trying to update my gateway to GatewayOS 4.6.0 but I’m facing this old problem. I’ve tried to edit /boot/config.txt to include the dtoverlay line (now the file spi0-2cs.dtbo is already included in the SD card image):

dtoverlay=spi0-2cs,cs1_pin=<another free pin different from 7>

Also, I tried to add option sx1301_reset_pin '25' to /etc/config/chirpstack-concentratord for config sx1301 as suggested in this topic. None of these solutions worked and I keep reading on the system log:

Configuring reset pin, dev: /dev/gpiochip0, pin: 17

which makes me wonder whether the gateway is acknowledging my reset pin configuration. Any ideas on how to properly set up the reset pin? Thank you!