[PATCH v4 07/11] bootmenu: add UEFI and disto_boot entries