x86: x86 i387 header cleanup