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