Re: [coreboot] making coreboot for Tyan s4882?