Re: [PATCH v4] Makefile: remove hardcoded device tree source directory