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