[coreboot] Kconfig for Tyan s2892