[U-Boot] [PATCH v2 10/12] binman: Allow configuration options to be used in .dts files