Add ins_pointer() to deal with potential size difference of LPC_INT and C pointer.

This will allow 32bit driver supporting 64bit LPC runtime.