Re: [U-Boot] [U-Boot, 04/12] x86: specify CONFIG_USE_PRIVATE_LIBGCC more simply