[PATCH v15 08/10] doc:bootmenu: add description for UEFI boot support