Teensy4.0 + WIZ850io + Micro SD Adaptor hung up in EthernetClass::socketSendUDP()

[hideakitai]

Hi, I've tried to sending a OSC (UDP packet) with ArduinoOSC. With the following setting,

• Teensy4.0 + WIZ850io + Micro SD Adaptor
• Arduino IDE 1.8.13
• Teensyduino 1.53
• ArduinoOSC 0.3.11

system hung up or go to infinite loop here:

Ethernet/src/socket.cpp

Line 518 in 86ac4ae

while ( (W5100.readSnIR(s) & SnIR::SEND_OK) != SnIR::SEND_OK ) {

On the other hand, by using Teensy 3.2, 3.5 and 3.6 instead of 4.0, system works fine.
Do you have any workarounds about this?