Re: [PATCH v3 21/27] doc: Move UEFI under develop/