[PATCH v15 02/10] eficonfig: add "Edit Boot Option" menu entry