# CONFIG_PINCTRL_BCM281XX is not set