Well apparently the issue was a lot more basic; the OS installer disk given to me was for a 32bit OS. So all this discussion is moot to begin with. The guy who delivered the disk thought that i586 was the 64 bit OS.
Anyway thanks for all the help you provided so far.