On Sat, Sep 22, 2018 at 02:34:06PM +0200, Thomas Gleixner wrote:> Greg,> > please pull the latest x86-urgent-for-linus git tree from:> > git://git.kernel.org/pub/scm/linux/kernel/git/tip/tip.git x86-urgent-for-linusNow pulled, thanks.greg k-h