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.