[ECOS] Problems building for a pc target...

[Robin Farine]

When one builds gcc for a specific OS, gcc includes calls to routines in the C
library associated with that OS. For instance, when gcc generates code in the
stack (e.g. for trampoline), it needs to flush caches between the writes and the
execution. By the way, I do not actually know if targets such as
"i386-unknown-elf" or "arm-unknown-elf", which do not depend on a specific C
library, handle this kind of things correctly.

Robin