Merge branches 'timers-core-for-linus' and 'timers-urgent-for-linus' of git://git...