Passt das so?
schnulli@pulli:~$ ls -hal /boot
insgesamt 102M
drwxr-xr-x 4 root root 3,0K Mai 5 18:12 .
drwxr-xr-x 23 root root 4,0K Mai 5 17:28 ..
-rw-r--r-- 1 root root 1,2M Mär 24 15:38 abi-4.4.0-71-generic
-rw-r--r-- 1 root root 190K Mär 24 15:38 config-4.4.0-71-generic
drwxr-xr-x 5 root root 1,0K Mai 5 18:11 grub
-rw-r--r-- 1 root root 9,1M Feb 22 11:31 initrd.img-4.4.0-51-generic
-rw-r--r-- 1 root root 9,1M Apr 5 11:39 initrd.img-4.4.0-57-generic
-rw-r--r-- 1 root root 9,1M Mai 5 17:59 initrd.img-4.4.0-64-generic
-rw-r--r-- 1 root root 9,1M Mai 5 17:59 initrd.img-4.4.0-66-generic
-rw-r--r-- 1 root root 36M Apr 5 11:41 initrd.img-4.4.0-71-generic
-rw-r--r-- 1 root root 9,1M Mai 5 17:28 initrd.img-4.4.0-75-generic
-rw-r--r-- 1 root root 9,1M Mai 5 18:12 initrd.img-4.4.0-77-generic
drwx------ 2 root root 12K Okt 20 2016 lost+found
-rw-r--r-- 1 root root 179K Jan 28 2016 memtest86+.bin
-rw-r--r-- 1 root root 181K Jan 28 2016 memtest86+.elf
-rw-r--r-- 1 root root 181K Jan 28 2016 memtest86+_multiboot.bin
-rw------- 1 root root 3,0M Mär 24 15:38 System.map-4.4.0-71-generic
-rw------- 1 root root 6,6M Mär 24 15:38 vmlinuz-4.4.0-71-generic
schnulli@pulli:~$ dpkg -l linux-*
Gewünscht=Unbekannt/Installieren/R=Entfernen/P=Vollständig Löschen/Halten
| Status=Nicht/Installiert/Config/U=Entpackt/halb konFiguriert/
Halb installiert/Trigger erWartet/Trigger anhängig
|/ Fehler?=(kein)/R=Neuinstallation notwendig (Status, Fehler: GROSS=schlecht)
||/ Name Version Architektur Beschreibung
+++-=============================-===================-===================-================================================================
ii linux-base 4.0ubuntu1 all Linux image base package
un linux-doc-4.4.0 <keine> <keine> (keine Beschreibung vorhanden)
ii linux-firmware 1.157.8 all Firmware for Linux kernel drivers
un linux-headers <keine> <keine> (keine Beschreibung vorhanden)
un linux-headers-3.0 <keine> <keine> (keine Beschreibung vorhanden)
ii linux-headers-4.4.0-71 4.4.0-71.92 all Header files related to Linux kernel version 4.4.0
ii linux-headers-4.4.0-71-generi 4.4.0-71.92 i386 Linux kernel headers for version 4.4.0 on 32 bit x86 SMP
un linux-image <keine> <keine> (keine Beschreibung vorhanden)
un linux-image-4.4.0-64-generic <keine> <keine> (keine Beschreibung vorhanden)
un linux-image-4.4.0-66-generic <keine> <keine> (keine Beschreibung vorhanden)
ii linux-image-4.4.0-71-generic 4.4.0-71.92 i386 Linux kernel image for version 4.4.0 on 32 bit x86 SMP
rc linux-image-extra-4.4.0-64-ge 4.4.0-64.85 i386 Linux kernel extra modules for version 4.4.0 on 32 bit x86 SMP
rc linux-image-extra-4.4.0-66-ge 4.4.0-66.87 i386 Linux kernel extra modules for version 4.4.0 on 32 bit x86 SMP
ii linux-image-extra-4.4.0-71-ge 4.4.0-71.92 i386 Linux kernel extra modules for version 4.4.0 on 32 bit x86 SMP
un linux-initramfs-tool <keine> <keine> (keine Beschreibung vorhanden)
un linux-kernel-headers <keine> <keine> (keine Beschreibung vorhanden)
un linux-kernel-log-daemon <keine> <keine> (keine Beschreibung vorhanden)
ii linux-libc-dev:i386 4.4.0-77.98 i386 Linux Kernel Headers for development
un linux-restricted-common <keine> <keine> (keine Beschreibung vorhanden)
ii linux-sound-base 1.0.25+dfsg-0ubuntu all base package for ALSA and OSS sound systems
un linux-source-4.4.0 <keine> <keine> (keine Beschreibung vorhanden)
un linux-tools <keine> <keine> (keine Beschreibung vorhanden)
schnulli@pulli:~$