[PATCH v10 02/10] eficonfig: menu-driven addition of UEFI boot option