chiark / gitweb /
kernel-install: Clean up