debian/kdump-config /usr/sbin debian/kdump-tools.conf /usr/share/kdump-tools/