[PATCH v13 7/9] doc:bootmenu: add description for UEFI boot support