Merge branch 'x86/cpu' of git://git.kernel.org/pub/scm/linux/kernel/git/tip/tip into x86/cpu

Pull recent changes related to x86 CPU model representations from tip.