I just want to make sure. The config tool lists the GPIO as the default at power up but not the config option. So the default is actually the config option for reading the boot configs and then the mux is executed to direct the pins to proper configuration. We do not have to specifically define the pin for config option.