X86: Better diagnostics for 32-bit vs. 64-bit mode mismatches.