[coreboot] Re: How would an open source vgabios work?