dpkg-kernel-package-list