X86: Work on 64-bit support.