[GIT PULL] timers updates for 3.15

Ingo, Thomas, Please pull the timers/cputime-fix-steal-v2 branch that can be found at: git://git.kernel.org/pub/scm/linux/kernel/git/frederic/linux-dynticks.git timers/cputime-fix-steal-v2 It's based on tip:timers/core. The patches are essentially unchanged since the last version

[GIT PULL] timers updates for 3.15

Ingo, Thomas, Please pull the timers/cputime-fix-steal-v2 branch that can be found at: git://git.kernel.org/pub/scm/linux/kernel/git/frederic/linux-dynticks.git timers/cputime-fix-steal-v2 It's based on tip:timers/core. The patches are essentially unchanged since the last version