[PATCH 3.2 072/104] x86/pti: Document fix wrong index