The S32DS LWIP port with FreeRTOS uses polling for the enetif thread. This means that it uses all available cpu even if it's doing nothing. Can it be modified to use interrupts?