I'm trying to understand the register maps in the config/i386 directory. Are the sequent symmetry and PTX still live platforms? Are tm-ptx.h and tm-symmetry.h still used? What is a Weitek 1167? Is it a third-party floating-point unit for the i386 architecture?