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