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