[PATCH] score/i386: Add context switch restore external symbol as a marker.

[Chris Johns]

On 22/07/2016 15:26, Sebastian Huber wrote:
> Could we please use the _CPU_* prefix only for stuff defined by the CPU
> port interface and use something like _I386_* for things that are
> specific to a particular architecture.

I would like this to be added to the formal _CPU_* port interface. 
Without the marker the CPU will not able to support proper debugging.

I see the patch as correct.

Chris