Re: [coreboot] coreboot+seabios+gpxe