kernel: too much work at interrupt !?