chiark / gitweb /
switch-root: umount the old root correctly