The text ca3cc8cf6153, as Debian 7 (Wheezy) shipped it.
Register a new WiMAX device
wimax_dev_add(9) on Linux now
