[W5500_EVB_PICO] LAN module named different than on other boards

[H-Sachse]

I have an issue getting WEBREPL working on my W5500-EVP-PICO.
PR #920 would fix this, but the W5500-EVB-PICO port names the LAN interface "WIZNET5K" instead of "LAN".
I would suggest to rename the network module to LAN to be in sync with other ports that have a LAN interface and provide an alias named "WIZNET5K" for backward compatibility.

[H-Sachse]

There seems to be another issue with the WIZNET5K module as I'm unable to get the already initialized interface instance like it is implemented in PR #920 on line 116.
The "WIZNET5K" does not accept an integer as only argument, like "LAN" seems to do.