# CONFIG_ARCH_BRCMSTB is not set