This is a port of the mic module for the Intel Xeon Phi Coprocessor for linux-3.11