chiark / gitweb /
kernel-install: fix help output