[added to the 4.1 stable tree] x86/mm: Disable PCID on 32-bit kernels