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