$ dpkg -c kernel-image-3.11.0-204-exynos5-di_3.11.0-204.12_armhf.udeb | grep boot drwxr-xr-x root/root 0 2013-10-30 09:02 ./boot/ -rwxr-xr-x root/root 6015 2013-10-30 09:02 ./boot/exynos5440-sd5v1.dtb -rwxr-xr-x root/root 6549 2013-10-30 09:02 ./boot/exynos5440-ssdk5440.dtb -rw-r--r-- root/root 4392488 2013-10-30 09:01 ./boot/vmlinuz -rw-r--r-- root/root 2198253 2013-10-30 09:01 ./boot/System.map
$ dpkg -c kernel- image-3. 11.0-204- exynos5- di_3.11. 0-204.12_ armhf.udeb | grep boot exynos5440- sd5v1.dtb exynos5440- ssdk5440. dtb
drwxr-xr-x root/root 0 2013-10-30 09:02 ./boot/
-rwxr-xr-x root/root 6015 2013-10-30 09:02 ./boot/
-rwxr-xr-x root/root 6549 2013-10-30 09:02 ./boot/
-rw-r--r-- root/root 4392488 2013-10-30 09:01 ./boot/vmlinuz
-rw-r--r-- root/root 2198253 2013-10-30 09:01 ./boot/System.map