I've come across a Freescale document from the FTF2009 by Wang Hao where it says (on page 4) the 5225x GPIOs were 5V tolerant.
However I can't seem to find any confirmation on this in the Data Sheet or Reference Manual (says 4V max. - which would be ok if there were clamping diodes to Vcc taking the remaining volt).
So yeah, before I toast my development board I just wanted to make sure I can blame it on someone else, haha. No, really, did I just overlook relevant parts in the DS or is the info wrong?