Re: [PATCH 1/3] Makefile: Allow for board directories to not have a Makefile