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