Re: [U-Boot] [PATCH] buildman: Avoid hanging when the config changes