Re: [U-Boot] [PATCH] buildman: support newer gcc versions from kernel.org