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