# CONFIG_SOC_BRCMSTB is not set