linux/debian/installer/modules/crc-modules