Re: [PATCH 15/20] doc: Move UEFI down a bit