Re: [PATCH v2 15/21] doc: Move UEFI under develop/