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