modified Makefile to get more info from BOARDNAME.py
Merge branch 'master' into streaming_file_api

Conflicts:
	Makefile