Some fixes, changes, and improvements to the microkernel to the Xeon Phi