minor fixes
[ia32rtools.git] / x87.seed.h