[coreboot] [BUILDROM] [PATCH] add Tyan s2881 support