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