chiark / gitweb /
umount: don't try to detach the dm device the root dir is on, to minimize warning...