Hi Barreh,
As per my understanding, the SSL2.0 device drivers do not touch to pin muxing. The user needs to configure the required pins (may be through pin-mux plug-in of system.svc).
But I am not sure of Ethernet device drivers, so I may be wrong regarding it's implementation. Can you please check with our driver team by contacting through private tools support channel?
Thanks,
Prashant