Fixed the error in setup.sh (Wrong directory name)

Successfully finished a build.
Merge branch 'feature-xenomai-develop' of github.com:cxmicrowave/quark-etherlab into feature-xenomai-develop