x86-64: Fix cast from integers to pointers.