x86/Documentation: Add PTI description