Re: [coreboot] Kconfig for Tyan s2892