Re: [PATCH v4 19/20] x86: doc: Split out manual booting into its own file