update build-debian-kernel-package.md