Re: [coreboot] tyan s2882-d not booting