This is an old revision of the document!
The Crazyradio drivers are not signed so to be able to install them have a look at this guide.