[RESEND v9 2/9] eficonfig: menu-driven addition of UEFI boot option