Fixed|libcommon|64-bit: Casts from integer to pointer

Use the INT2PTR() macro to make casts with the correct integer sizes.