but in backround also many other parameter change not only the LED (led-config is a old name because before it only change some led things , but nowaday many more are change like eth speed , wlan enable pin etc)
GPIO is more a generale name for some Outputs of the tv box , there a still many thing thats parmater by gpio like wlan on/off or correct eth speed
example ( port AO pin 1and 2 ) are gpio and can configure to be i2a for SPDIF , also AO 2 has be configure as Clock and with a parameter of speed , also some Ports need a specific voltage
i saw
in your log and maybe some missconfigure of GPIOS maybe some LED-Config could help