CONFIG_POWER_RESET_VEXPRESS=y