Re: [coreboot] tyan s2881 with seabios and gpxe