Merge "Fix seabios build problems."
tree: a8016984f93a8d797855e065710320b7d5861517
  1. src/
  2. tools/
  3. vgasrc/
  4. .gitignore
  5. COPYING
  6. COPYING.LESSER
  7. Makefile
  8. README
  9. TODO