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