Re: [PATCH v4 17/20] x86: doc: Move into its own directory