Add i86pc to unames detected as x86 (used by Solaris).
[pintos-anon] / doc / license.texi
2006-06-01 Ben PfaffAdd installation chapter to manual. Remove now-redunda...