Comment 1 for bug 1307212

$ dpkg -c kernel-image-3.13.0-4-exynos5-di_3.13.0-4.4_armhf.udeb
drwxr-xr-x root/root 0 2014-04-14 15:57 ./
drwxr-xr-x root/root 0 2014-04-14 15:55 ./lib/
drwxr-xr-x root/root 0 2014-04-14 15:55 ./lib/modules/
drwxr-xr-x root/root 0 2014-04-14 15:55 ./lib/modules/3.13.0-4-exynos5/
drwxr-xr-x root/root 0 2014-04-14 15:55 ./lib/modules/3.13.0-4-exynos5/kernel/
drwxr-xr-x root/root 0 2014-04-14 15:55 ./lib/modules/3.13.0-4-exynos5/kernel/drivers/
drwxr-xr-x root/root 0 2014-04-14 15:55 ./lib/modules/3.13.0-4-exynos5/kernel/drivers/i2c/
drwxr-xr-x root/root 0 2014-04-14 15:55 ./lib/modules/3.13.0-4-exynos5/kernel/drivers/i2c/muxes/
-rw-r--r-- root/root 10264 2014-04-14 15:53 ./lib/modules/3.13.0-4-exynos5/kernel/drivers/i2c/muxes/i2c-mux-pinctrl.ko
-rw-r--r-- root/root 6936 2014-04-14 15:53 ./lib/modules/3.13.0-4-exynos5/kernel/drivers/i2c/i2c-mux.ko
drwxr-xr-x root/root 0 2014-04-14 15:55 ./lib/modules/3.13.0-4-exynos5/kernel/drivers/mfd/
-rw-r--r-- root/root 11132 2014-04-14 15:53 ./lib/modules/3.13.0-4-exynos5/kernel/drivers/mfd/max8907.ko
drwxr-xr-x root/root 0 2014-04-14 15:55 ./lib/modules/3.13.0-4-exynos5/kernel/drivers/gpio/
-rw-r--r-- root/root 19056 2014-04-14 15:53 ./lib/modules/3.13.0-4-exynos5/kernel/drivers/gpio/gpio-pca953x.ko
drwxr-xr-x root/root 0 2014-04-14 15:55 ./lib/modules/3.13.0-4-exynos5/kernel/drivers/power/
-rw-r--r-- root/root 10700 2014-04-14 15:53 ./lib/modules/3.13.0-4-exynos5/kernel/drivers/power/tps65090-charger.ko
drwxr-xr-x root/root 0 2014-04-14 15:55 ./lib/modules/3.13.0-4-exynos5/kernel/drivers/regulator/
-rw-r--r-- root/root 14424 2014-04-14 15:53 ./lib/modules/3.13.0-4-exynos5/kernel/drivers/regulator/tps62360-regulator.ko
-rw-r--r-- root/root 21676 2014-04-14 15:53 ./lib/modules/3.13.0-4-exynos5/kernel/drivers/regulator/palmas-regulator.ko
-rw-r--r-- root/root 14328 2014-04-14 15:53 ./lib/modules/3.13.0-4-exynos5/kernel/drivers/regulator/max8907-regulator.ko
-rw-r--r-- root/root 11928 2014-04-14 15:53 ./lib/modules/3.13.0-4-exynos5/kernel/drivers/regulator/gpio-regulator.ko
-rw-r--r-- root/root 13600 2014-04-14 15:53 ./lib/modules/3.13.0-4-exynos5/kernel/drivers/regulator/tps6586x-regulator.ko
-rw-r--r-- root/root 18868 2014-04-14 15:53 ./lib/modules/3.13.0-4-exynos5/kernel/drivers/regulator/tps65910-regulator.ko
-rw-r--r-- root/root 10552 2014-04-14 15:53 ./lib/modules/3.13.0-4-exynos5/kernel/drivers/regulator/tps51632-regulator.ko
drwxr-xr-x root/root 0 2014-04-14 15:55 ./lib/modules/3.13.0-4-exynos5/kernel/drivers/rtc/
-rw-r--r-- root/root 11284 2014-04-14 15:53 ./lib/modules/3.13.0-4-exynos5/kernel/drivers/rtc/rtc-tps6586x.ko
-rw-r--r-- root/root 12656 2014-04-14 15:53 ./lib/modules/3.13.0-4-exynos5/kernel/drivers/rtc/rtc-palmas.ko
-rw-r--r-- root/root 11584 2014-04-14 15:53 ./lib/modules/3.13.0-4-exynos5/kernel/drivers/rtc/rtc-tps65910.ko
-rw-r--r-- root/root 8708 2014-04-14 15:53 ./lib/modules/3.13.0-4-exynos5/kernel/drivers/rtc/rtc-max8907.ko
-rw-r--r-- root/root 7128 2014-04-14 15:53 ./lib/modules/3.13.0-4-exynos5/kernel/drivers/rtc/rtc-em3027.ko
-rw-r--r-- root/root 139972 2014-04-14 15:55 ./lib/modules/3.13.0-4-exynos5/modules.order
-rw-r--r-- root/root 8267 2014-04-14 15:55 ./lib/modules/3.13.0-4-exynos5/modules.builtin
drwxr-xr-x root/root 0 2014-04-14 15:57 ./boot/
-rw-r--r-- root/root 2534865 2014-04-14 15:55 ./boot/System.map
-rwxr-xr-x root/root 6678 2014-04-14 15:57 ./boot/exynos5440-ssdk5440.dtb
-rwxr-xr-x root/root 6145 2014-04-14 15:57 ./boot/exynos5440-sd5v1.dtb
-rw-r--r-- root/root 5105616 2014-04-14 15:55 ./boot/vmlinuz
-rwxr-xr-x root/root 32949 2014-04-14 15:57 ./boot/exynos5250-arndale.dtb