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