Tracking eCos CVS mainline (checked-out 13.08.2014)
Fix compilation for kernal instrumentation (bug 1)
Merge branch 'next' of https://github.com/antmicro/ecos-openrisc into next