Use of GPIO16 to 19 on BGS5 | Thales IoT Developer Community

Hello, I have a question about the use of GPIO16-19 pins on BGS5. When I configure them via AT^SCPIN=1,16,0 as inputs, and then read the value using AT^SGIO=16, I always get 1 no matter what level is on the pin. When I configure AT^SCPIN=1,17,1,0 as output, and then set it high by AT^SSIO=17,1 the pin stays at 0V. I tried using other GPIOs and they seem to work normally. Is it a firmware bug or am I doing something wrong? Output of some commands: ATI Cinterion BGS5 REVISION 01.100 AT^SCFG? ^SCFG: "Call/ECC","0" ^SCFG: "GPRS/AutoAttach","enabled" ^SCFG: "Gpio/mode/ASC1","gpio" ^SCFG: "Gpio/mode/DAI","gpio" ^SCFG: "Gpio/mode/DCD0","std" ^SCFG: "Gpio/mode/DSR0","std" ^SCFG: "Gpio/mode/DTR0","std" ^SCFG: "Gpio/mode/FSR","gpio" ^SCFG: "Gpio/mode/PULSE","gpio" ^SCFG: "Gpio/mode/PWM","gpio" ^SCFG: "Gpio/mode/RING0","std" ^SCFG: "Gpio/mode/SPI","gpio" ^SCFG: "Gpio/mode/SYNC","std" ^SCFG: "Ident/Manufacturer","Cinterion" ^SCFG: "Ident/Product","BGS5" ^SCFG: "MEShutdown/Fso","0" ^SCFG: "MEopMode/SoR","on" ^SCFG: "Radio/Band","15" ^SCFG: "Radio/OutputPowerReduction","4" ^SCFG: "Serial/Interface/Allocation","0","0" ^SCFG: "Serial/USB/DDD","0","0","0409","1E2D","0059","Cinterion Wireless Modules","Cinterion BGx USB Com Port","" ^SCFG: "Tcp/IRT","3" ^SCFG: "Tcp/MR","10" ^SCFG: "Tcp/OT","6000" ^SCFG: "Tcp/WithURCs","on" ^SCFG: "Trace/Syslog/Otap","0" ^SCFG: "URC/Ringline","local" ^SCFG: "URC/Ringline/ActiveTime","2" ^SCFG: "Userware/Autostart","1" ^SCFG: "Userware/Autostart/Delay","0" ^SCFG: "Userware/Passwd", ^SCFG: "Userware/Stdout","null",,,,"off" ^SCFG: "Userware/Watchdog","0"