[PATCH v10 06/10] eficonfig: add "Delete Boot Option" menu entry