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