[Linux-stable-mirror] Patch "drivers/misc/intel/pti: Rename the header file to free up the namespace" has been added to the 4.14-stable tree