Well, I finally found a post on the lkml about the same issues I’m experiencing. Even though I was wrong to say it was a CFS problem. It seems I should start poking around ACPI/CPU_IDLE bits.