chiark / gitweb /
switch-root: reopen /dev/console before we switch root