While you can physically move the pin by cutting the jumper pads and adding jumper wires, there is no way to change which pins Device OS uses as the interrupt pin. So it won’t work.
At some time in the future the Ethernet pins might be reconfigurable in Device OS, but they are not reconfigurable at this time.