Fixes the pointer size in 64-bit builds when reading CPUID and writing a pointer. Special treatment is given to xbx because of another bug (or feature) of older GNU toolchains that are using ebx for fPIC, causing a compile error when constraining the inline asm doing CPUID to ebx.
Fixes #3478 (closed)