kernel-debugはlinux-image-debug

Ubuntuで/vmlinuzしかなく, 展開する方法がよくわからなかったので, vmlinuxを含んだパッケージを探した.
rpmではたしかkernel-debugなどだったのでkernel-*でパッケージを検索していたがかからず, 悩んでいたが, Ubuntu(Debian?)ではlinux-image-*であるらしい.