New process scheduler for linux

There's a new "completely fair scheduler" for linux. I'm eager to see some benchmark or interactivity improvements over the old one.