Re: [coreboot] Kconfig for Tyan s2891, s2892, s2895