Re: [coreboot] [ANN] Port of GPL vgabios to gcc