Re: [PATCH v2 2/2] Makefile: Only build dtc if needed