cdist-type__install_chroot_umount(7) on Linux

The text 9e8c80764317, as Debian 12 (Bookworm) shipped it.

unmount a chroot mounted by __install_chroot_mount