Re: [PATCH v4 07/11] doc: devicetree: Align documentation to use Kconfig options