chiark / gitweb /
main: corrected do_switch_root()