CONFIG_ARCH_VEXPRESS_SPC=y