Merge branch 'x86-timers-for-linus' of git://git.kernel.org/pub/scm/linux/kernel...