[PATCH v17 04/10] eficonfig: add "Delete Boot Option" menu entry