CONFIG_VEXPRESS_SYSCFG=y