[added to the 4.1 stable tree] x86/mm: Add the 'nopcid' boot option to turn off PCID