[Linux-stable-mirror] [PATCH 4.4 30/63] x86/mm: Add the nopcid boot option to turn off PCID