I'm sorry for delayed response, I was out of office due to some health issues.
I will ask SDK team if they can fix this.
In fact, the only configurable clock is ENETx_TIMER:

If you have other clocks like F40 or F80 set to its maximum, there will be no problem.
The timer clock is then an auxiliary clock signal for the ENET module that is not needed for normal operation. It is used for IEEE 1588 Time-Sensitive Networking (TSN) applications, which our ENET module supports in hardware. This clock is specifically used for time-stamping IEEE 1588 datagrams.
Regards,
Lukas