Comment 3 for bug 1196496

Verified with the latest mainline kernel, v3.10-rc7
Only Ethernet and Wireless could be found in the Network Manager, no option for WiMAX

And the eth0 interface in ifconfig was replaced by wmx0:

lo Link encap:Local Loopback
          inet addr:127.0.0.1 Mask:255.0.0.0
          inet6 addr: ::1/128 Scope:Host
          UP LOOPBACK RUNNING MTU:65536 Metric:1
          RX packets:158 errors:0 dropped:0 overruns:0 frame:0
          TX packets:158 errors:0 dropped:0 overruns:0 carrier:0
          collisions:0 txqueuelen:0
          RX bytes:17163 (17.1 KB) TX bytes:17163 (17.1 KB)

wlan0 Link encap:Ethernet HWaddr 40:25:c2:0f:be:1c
          inet addr:10.101.46.128 Bcast:10.101.46.255 Mask:255.255.255.0
          inet6 addr: fe80::4225:c2ff:fe0f:be1c/64 Scope:Link
          UP BROADCAST RUNNING MULTICAST MTU:1500 Metric:1
          RX packets:7478 errors:0 dropped:0 overruns:0 frame:0
          TX packets:2253 errors:0 dropped:0 overruns:0 carrier:0
          collisions:0 txqueuelen:1000
          RX bytes:6506883 (6.5 MB) TX bytes:204136 (204.1 KB)

wmx0 Link encap:Ethernet HWaddr 50:2d:a2:03:d8:0d
          UP NOARP MTU:1400 Metric:1
          RX packets:0 errors:0 dropped:0 overruns:0 frame:0
          TX packets:0 errors:0 dropped:0 overruns:0 carrier:0
          collisions:0 txqueuelen:20
          RX bytes:0 (0.0 B) TX bytes:0 (0.0 B)