$ dpkg -c kernel-image-3.13.0-5-exynos5-di_3.13.0-5.5_armhf.udeb | grep dtb -rwxr-xr-x root/root 6145 2014-07-08 23:18 ./boot/exynos5440-sd5v1.dtb -rwxr-xr-x root/root 6678 2014-07-08 23:18 ./boot/exynos5440-ssdk5440.dtb -rwxr-xr-x root/root 32961 2014-07-08 23:18 ./boot/exynos5250-arndale.dtb
$ dpkg -c kernel- image-3. 13.0-5- exynos5- di_3.13. 0-5.5_armhf. udeb | grep dtb exynos5440- sd5v1.dtb exynos5440- ssdk5440. dtb exynos5250- arndale. dtb
-rwxr-xr-x root/root 6145 2014-07-08 23:18 ./boot/
-rwxr-xr-x root/root 6678 2014-07-08 23:18 ./boot/
-rwxr-xr-x root/root 32961 2014-07-08 23:18 ./boot/