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