cdist-type__install_chroot_umount(7) on Linux

The text c64a2dbd3f7e, as Debian 10 (Buster) shipped it.

unmount a chroot mounted by __install_chroot_mount