# CONFIG_GPIO_BRCMSTB is not set
