I would like to delve deeper into the original question here.
I also would like to combine the IoT pHAT together with one of the PiTFT screens of Adafruit, but had noticed GPIO 24 and 25 are used by both.
Out of the box it would not be possible, but you could remove/leave out the pins for GPIO 24 and 25 of the IoT pHAT, and solder 2 small wires to some other GPIO pins which are unused by both IoT pHAT and PiTFT screen (lets say GPIO 2 and 3).
I would assume nothing would need to be changed in the IoT pHAT's firmware, since because of the soldered wires it will be receiving the inputs on the same pins.
Off course the software/driver on the raspberry's side would need to be changed to use the replaced pins (2 and 3) instead of the original ones (24 and 25).
Could someone more knowledgable than myself elaborate on the feasibility of this?