Having tested it out, it seems as though the user manual is wrong as well:
Pins PIO0_10 and PIO0_11 operate as high-current sink drivers (20 mA) independently of
the programmed function.
is not correct. They only operate as high-current drivers if the fast-plus mode is set in IOCON. The operate as normal I/O even when programmed to I2C Fast-plus mode if they are not connected to the i2C module by the Switch-matrix.
Setting normal I2C mode and setting I/O mode both seem to have the same effect - it gives a 4mA output.
Any comments NXP?