[PATCH] Makefile: add support to build dedicated devicetree