# CONFIG_ARCH_VEXPRESS_SPC is not set