Fix for the slow boot of the Xeon Phi machine