x86: Fix up type sizes for 64-bit