x86/mm: Add the 'nopcid' boot option to turn off PCID
[pandora-kernel.git] / arch / x86 / kernel / cpu / common.c
Simple merge