Eu encontrei a solução, bastante simples:
sudo apt-get source network-manager=0.9
sudo apt-get build-dep network-manager=0.9
Depois, temos que extrair o arquivo network-manager_0.9.1.90.orig.tar.bz2 ou outro, dependendo da versão.
Compile com parâmetros:
$ ./configure --sysconfdir=/etc --localstatedir=/var --enable-wimax --with-distro=debian --enable-ppp --enable-polkit --with-udev-dir=/etc/udev --with-dbus-sys-dir=/etc/dbus-1 --with-pppd-plugin-dir=/usr/lib/NetworkManager --with-resolvconf --libexecdir=/usr/lib/NetworkManager --with-systemdsystemunitdir=/etc/systemd --with-dhcpcd=yes
$ sudo make
$ sudo make install
Claro, você precisa ter o serviço wimax e a pilha instalada, veja o linuxwimax.org .
É isso. Deve funcionar, pelo menos para o meu Intel Centrino 6250 funciona muito bem.
PS Minha recomendação para a Canonical é incluir a opção - enable-wimax como padrão.