# CONFIG_ARCH_FOOTBRIDGE is not set