# CONFIG_ARCH_BCM_NSP is not set