linux/debian/installer/modules/mips32r6el