copyright: Change HP copyright on x86 code to be more friendly
X86: Explicitly use the right width in a few places that need a 64 bit value.
X86: Implement and hook up STI and CLI instructions.
X86: Put in stubs for x87, 64 bit and 128 bit SIMD instruction microcode.