GPIO output changes on FW but not in HW

Hello,

As you can see, gpio35 and gpio7 are setup as outputs in high, however if I measure voltage in the X17 header (pin 3 and 8 respectively) I see 0V.

root@colibri-imx6ull:~# cat /sys/kernel/debug/gpio
gpiochip0: GPIOs 0-31, parent: platform/209c000.gpio, 209c000.gpio:
 gpio-2   (                    |VCC_USB[1-4]        ) out lo    
 gpio-7   (                    |sysfs               ) out hi    
 gpio-11  (                    |enable              ) out hi    

gpiochip1: GPIOs 32-63, parent: platform/20a0000.gpio, 20a0000.gpio:
 gpio-35  (                    |sysfs               ) out hi    

gpiochip2: GPIOs 64-95, parent: platform/20a4000.gpio, 20a4000.gpio:
 gpio-90  (                    |spi_imx             ) out hi    

gpiochip3: GPIOs 96-127, parent: platform/20a8000.gpio, 20a8000.gpio:

gpiochip4: GPIOs 128-159, parent: platform/20ac000.gpio, 20ac000.gpio:
 gpio-128 (                    |cd                  ) in  hi IRQ
 gpio-129 (                    |Wake-Up             ) in  lo IRQ
 gpio-130 (                    |id                  ) in  hi IRQ
 gpio-139 (                    |WIFI_PDN            ) out hi

X17 pin 3 is connected to Colibri SODIMM pin 45.
X17 pin 8 is connected to Colibri SODIMM pin 55

According to table 4.4.1 of Colibri iMX6Ull datasheet :

X1 45 - gpio5.IO1

X1 55 - gpio2.IO[0]

If you take a look to GPIO Alphanumeric to GPIO Numeric Assignment table
gpio5.IO1 will translate to Linux GPIO 129 and gpio2.IO[0] to 32