x86/mm: Use/Fix PCID to optimize user/kernel switches