I just updated my FC7t4 system from kernel 3116 to the latest rawhide
kernel (3149).
I now see that ksoftirqd/0 consumes 100% of the CPU.
Fortunately I have a Core 2 Duo, and so the second CPU is still idle.
This problem does not exist on kernel 3116.