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