chiark / gitweb /
main: properly handle -b boot option