Re: [U-Boot] [PATCH 06/29] binman: Update the device-tree file on exit