x86_64: Don't assume 8-byte pointer size