Re: [PATCH v4 11/11] doc:bootmenu: add UEFI boot variable and distro boot support