Re: [coreboot] Kconfig QA again [was: tyan s2881 with seabios and gpxe]