[PATCH v12 4/9] eficonfig: add "Delete Boot Option" menu entry