linux/debian/installer/armhf/modules/armhf-armmp/kernel-image