Re: [U-Boot] [PATCH 11/13] buildman: Drop the 'active' flag in the builder