Я решил эту же проблему следующим образом:
sudo apt-get install libmono-system-design4.0-cil
Вы можете быстро перечислить все флаги, которые использовались во время компиляции ядра, используя:
cat /boot/config-`uname -r`
В системе 14.04 прошивка Intel 7260 предоставляется пакетом linux-firmware, вы можете проверить ее список файлов .