doc: fixed typo in Makefile
Merge branch 'master' of ssh+git://github.com/t-crest/patmos