[s]OK, CPU usage started to go down veeeeeeeeeeeeeeery slowly. Then two or three reboots, and now it’s normal (< 3%).
Whatever.[/s]
Forget what I said. It’s high again. See next post.