Add pgm_read_pointer for 16 vs 32 bit pointers