linux/debian/installer/armel/modules/armel-marvell/kernel-image