[PATCH v11 2/9] eficonfig: add "Edit Boot Option" menu entry