Re: More pinmux feedback, and GPIO vs. pinmux interaction