GPIO and PINCTRL drivers question