Re: [coreboot] mingw build problem with seabios/tools/kconfig