Avoid issue with strip, causing a single broken symbol entry#828

Merged

alfreb merged 7 commits intoincludeos:devfrom

Sep 13, 2016

Commits on Sep 7, 2016

Merge branch 'dev' of github.com:hioa-cs/IncludeOS into dev
fwsGonzo
committed

Commits on Sep 8, 2016

Commits on Sep 9, 2016

Commits on Sep 12, 2016