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