Re: [U-Boot] [PATCH 6/8] buildman: Allow the toolchain priority to be specified