The problem seems to be indeed that the et131x driver doesn't work well with a tickless kernel. I boot with "nohz=off" now and ksoftirqd's CPU consumption is back to normal. To turn off the the messages to the kernel log about the unhandled IOCTL I load the module with the option "et131x_debug_flags=0".
The problem seems to be indeed that the et131x driver doesn't work well with a tickless kernel. I boot with "nohz=off" now and ksoftirqd's CPU consumption is back to normal. To turn off the the messages to the kernel log about the unhandled IOCTL I load the module with the option "et131x_ debug_flags= 0".