Are the MDIOs on T4240 supported?

[ronbelaire]

I can see that MDIO is assumed to be over the P4080's MDIO_CFG_STAT register but cannot find reference to T4240's different MDIO_CFG register.

I am looking in fsl_fman_memac_mii_acc.h