[coreboot] tyan s2895 how to?