# CONFIG_PINCTRL_OCELOT is not set