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