Re: [PATCH 1/1] doc: describe TPL/VPL/SPL boot