RE: How to build vgabios