[PATCH v4 0/2] doc: Clarify how U-Boot makes use of devicetree