removed old unrelated ia32 stuff