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