Or he is running a Kernel with the known problem regarding CPU usage which is already discussed here.
I would give the solution provided by wiedehopf a try: