linux/debian/installer/mipsr6/modules/mips32r6