Re: [coreboot] seabios git server status