Is this coordinated with OS providers? It only mentioned that Intel released microcode.