chiark / gitweb /
man/kernel-install.xml: fix paths to reflect actual behaviour