Merged the following bug fixes from the smiles branch...
-rw-r--r-- 11358 COPYING
-rw-r--r-- 1052 Makefile
-rw-r--r-- 13867 design.txt
-rw-r--r-- 69036 sgabios.S