ostree-admin-set-default(1) on Linux

The text cf48ed9cdbdc, as Debian 13 (Trixie) shipped it.

Make deployment at a given index the default for the next boot

ostree-admin-set-default(1) on Linux now