# CONFIG_PINMUX is not set