A couple of GPIOs do change when the dGPU is enabled or disabled.
I'm astonished, but the GPIOs that I had saved seem to correspond to the dGPU being disabled. I'll go through them again. I also saw one appear before and two others disappear now. As they all appear in the datasheet, I'm leaving them at the values that I have for these three.
Am I correct that gpio.h is enough to have the GPIOs set correctly?
And thanks, Nico.