[coreboot] How would an open source vgabios work?