Re: [U-Boot] [PATCH v4 08/11] binman: Allow configuration options to be used in .dts files